ANR project IMPRO

Participants : Thomas Chatain, Stefan Haar, Serge Haddad.

The Project ANR ImpRo ANR-2010-BLAN-0317 involves IRCCyN (Nantes), IRISA (Rennes), LIP6(Paris), LSV (Cachan), LIAFA (Paris) and LIF (Marseille). It addresses issues related to the practical implementation of formal models for the design of communication-enabled systems: such models abstract away from many complex features or limitations of the execution environment. The modeling of time, in particular, is usually idealized, with infinitely precise clocks, instantaneous tests or mode communications, etc. Our objective is thus to study to what extent the practical implementation of these models preserves their good properties. We aim at a generic mathematical framework to reason about and measure implementability, and then study the possibility to integrate implementability constraints in the models. A particular focus is on the combination of several sources of perturbation such as resource allocation, the distributed architecture of applications, etc. We also study implementability through control and diagnosis techniques, and apply the developed methods to a case study based on the AUTOSAR architecture, a standard in the automotive industry.